Jane Hillston

Results: 47



#Item
31Process calculi / Jane Hillston / PEPA / Markov chain / Laboratory for Foundations of Computer Science / Process calculus / Algebra / Edinburgh / Theoretical computer science / Mathematics / TAPAs model checker

Introduction Interplay: Process Algebra and Markov Process Applications

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-09-27 05:37:50
32Theoretical computer science / Process calculi / Jane Hillston / PEPA / Logic in computer science / Metaphor / Simulation / Scientific modelling / Stochastic / Mathematical model / Semantics / Economic model

Bio-PEPA: A collective dynamics approach to systems biology Jane Hillston. University of Edinburgh. Introduction

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-05-11 05:00:03
33Process calculi / Theoretical computer science / Formal methods / Metaphor / Simulation / PEPA / Jane Hillston / Scientific modelling / Stochastic / Process calculus / Economic model / Semantics

Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2008-10-17 04:53:23
34Theoretical computer science / Statistics / Markov models / Mathematics / Graph theory / Markov chain / Stochastic process / Stochastic / Process calculus / Semantics / Algebra over a field / PEPA

Stochastic Process Algebras and Ordinary Differential Equations Jane Hillston Laboratory for Foundations of Computer Science and Centre for Systems Biology at Edinburgh University of Edinburgh

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2011-09-15 09:47:16
35Process calculus

KCL Distinguished LectureChoosing not to be discrete — The benefits of fluid approximations in dynamic modelling Jane Hillston

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2015-05-04 03:46:51
    36Artificial intelligence / System / Informatics

    Ershov Informatics ConferenceQuantitative Analysis of Collective Adaptive Systems Jane Hillston LFCS, University of Edinburgh

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2015-08-26 08:13:56
    37Fellows of the Royal Society of Edinburgh / Artificial intelligence / Cognitive science / Computer science education / Informatics / Information science / Doctoral Training Centre / Engineering and Physical Sciences Research Council / Jane Hillston / Ian Sommerville / Farouk Kamoun

    A. Curriculum Vitae 1. Name Stuart Oliver Anderson 2. College College of Science and Engineering

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2011-11-01 13:56:56
    38Process calculus / PEPA / System / Scientific modelling / Jane Hillston / TAPAs model checker

    Continuous Approximation of PEPA models A Process Algebra for Hybrid Systems CICADA Seminar

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2008-04-10 07:33:53
    39PEPA / Process calculi / Jane Hillston / Process calculus / Scientific modelling / Stochastic

    Bio-PEPA for epidemiological models Jane Hillston. LFCS and CSBE, The University of Edinburgh 24th September 2009 Joint work with Federica Ciocchetta.

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2009-10-09 05:09:45
    40Systems theory / System / Complex systems theory / Adaptive system / Futurology / Collective intelligence

    Challenges for Quantitative Analysis of Collective Adaptive Systems Jane Hillston LFCS, University of Edinburgh

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2015-03-03 07:19:48
    UPDATE